Answer Set Programming Modulo `Space-Time'

We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of `space-time' regions as first-class objects. We present an empirical evaluation (with scalability and robustness results), and include diverse application examples involving interpretation and control tasks

GreenPilot, lotsbåt med minimal miljöpåverkan

The GreenPilot project was carried out to demonstrate the emissions reductions and environmental performance improvements that could be achieved by converting a small vessel to run on methanol fuel. Reducing emissions is a priority for all vessel sizes, as emissions regulations are becoming stricter and concern about greenhouse gases and global warming continues to grow. Within Sweden, the government has announced its ambition to convert all state-owned vessels to fossil-free operation and is investigating 2030 and 2045 as possible deadlines. Methanol produced from renewable feedstock is a possible solution for some of the vessels. By physically converting a Swedish pilot boat to run on methanol, the project demonstrated he feasibility of methanol as a fuel solution for small vessels. Work included converting and testing three different engines to run on methanol, two of which were installed and operated on the converted pilot boat. Emissions measurements showed good reductions as compared to conventional fuel oil. Fossil-free methanol produced from pulp mill black liquor in a Swedish pilot plant was used in some of the laboratory and on board tests. The project also investigated other solutions for reducing environmental impacts of the pilot boats, including the use of solar cells, batteries, and fuel cells.GreenPilot-projektet genomfördes för att demonstrera utsläppsminskningar ochmiljöprestanda förbättringar som kan uppnås genom att konvertera en litenkärl att köra på metanolbränsle. Att minska utsläppen är en prioritet för alla fartygsstorlekar, somUtsläppsreglerna blir hårdare och oroa sig för växthusgaser och globalauppvärmning fortsätter att växa. Inom Sverige har regeringen meddelat sin ambition attkonvertera alla statligt ägda fartyg till fossilfri drift och undersöker 2030 och 2045 sommöjliga tidsfrister. Metanol framställd av förnybart råmaterial är en möjlig lösning förnågra av fartygen.Genom att fysiskt konvertera en svensk pilotbåt för att köra på metanol visade projektethan genomförbarhet av metanol som en bränsle lösning för små fartyg. Arbetet inkluderade konvertering ochtesta tre olika motorer för att köra på metanol, varav två installerades och drivsGreenPilot, lotsbåt med minimal miljöpåverka

Answer Set Programming Modulo ‘Space-Time’

We present ASP Modulo ‘Space-Time’, a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of ‘space-time’ regions as first-class objects